$\forall$$g$:IMonoid, $a$:$\mid$$g$$\mid$. ($a$ $\ast$ e) = $a$ \& (e $\ast$ $a$) = $a$